/*
 * channel_destroyer_agent.cpp
 *
 */

#include <iostream>

#include "../channel_common/AgentIdManager.h"
#include "../channel_common/ChannelInterface.h"
#include "../middleware/CommunicationVendedor.h"

int main()
{
	channel::ChannelInterface::disconnectChannel("cliente_pc");

	return 0;
}
